kupo
digest
首页
日程
我的
关于
图片高度
EN
日本語
中文
标签 · 跨全部板块
Lean 4
5 篇历史内容 · 时间线
看该标签的日程
相关标签
Leanstral 1.5
Mistral AI
这个 tag 包含的实体
用Lean 4先证明正确性再开发经过验证的编译器基础
はてなブックマーク - 人気エントリー - テクノロジー
07-24 12:31
Star Fleet 使用20个Codex账户并行解决20个Erdős问题
Hacker News
07-15 09:15
Combinatorial Games in Lean
Hacker News
07-12 07:11
Mistralが自動定理証明向けAI「Leanstral 1.5」リリース、Lean 4の証明作業を支援
はてなブックマーク - 人気エントリー - テクノロジー
07-01 20:35
Leanstral 1.5
Hacker News
07-01 05:44
— 没有更多了 —
首页
日程
我的
